partial ordered set

半序集